退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于MDE的工具链将AADL模型转换为定时自动机模型
Martin Strecker; Allaoui Chaoui; Mohamed El-Kamel Hamdane;
机译:从AADL到定时抽象状态机:经过验证的模型转换
机译:多重自动机及其在AADL模型的形式验证中的用途
机译:从模型到软件,再到自动转换:AADL到ROS端到端工具链
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:基于模型转换的AADL模型非功能性验证与分析调查
机译:基于网络建模,在自动机网络中自动生成嵌入式分布式控制应用程序,使用功能的UML建模和数据通信来驱动自动代码生成器
机译:基于工具链的源存储库分析建模系统
机译:基于工具链的源库分析建模系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。